perm filename FONTS.WID[1,3]1 blob
sn#540419 filedate 1980-10-22 generic text, type T, neo UTF8
λβλ↓P*∧`λβ⊂β⊂*%⊂'Uj0λβ_αPj$( S λβ αQ)DH*⊃ λβ(↓QI∀8λβ0αQh∀_$⊂ λβ8αQh∃ "T`λβ@α⊃j$λ,@λβH∧RλT`+⊃*DH!P λβP¬∩λT`+⊃*DH!P(@λβXαR ∃(∪`λβ`βR d(+UHT_λβhα∪ t8'@λβpα∪(∃ $λβxβ∪HU8+⊃(0λβ↓¬∪iD "SHt`$Tiλβ↓λα∀h∀H&λβ↓⊂αTi∀8&P λβ↓_βTid(+UHT_λβ↓ β∀j∧`*SI0λβ↓(α∀jDλ'λβ↓0α∀jDH(λβ↓8β∀k∀h!∪i@λβ↓@∧∃λTh(∪λ∃ "@λβ↓H∧∃λU_*⊃Itp*λβ↓P¬∃ ∀h"Tj$x&P)`λβ↓X¬U ∀h"Tj$x&P)d λβ↓`βUId(+UHT_ α ⊂⊂∨@≠↓hH↓∧↔pε`8ε α 0←@⊗α⊗ !λH↓@ ↔pXMhλ α 0⊂←@⊗αX !λH↓@`↔pX↑(λ α 0←@~8β~ !λH↓@ ↔pi`nhλ α 0⊂←@~8β\ !λH↓@`↔pi`␈(λ α @ ∨@∧≡ ↓hHα@απP,↓λ
X α ` ∨@∧V`≠(Hβ#πp↓≤@εh α `⊂ ∨@¬
≠(Hβcπp↓*⊂εh α p⊂←@¬C`→λH∧πx# ↓7_8 α!∨`⊃P¬↑@↓hH∧πx↓
↓8λ8 α!∨`4p¬b↓hH∧πxα~↓8x8 α!∨`X_¬e@↓hH∧πxβ' ↓9h8 α!∨`{8¬i↓hH∧@↔x↓:Xλ( α!⊂λ←`ε !(H∧@@↔x↓K(λ( α!⊂_←`εN@!(H¬gp↓[xπx α!0β←@π∂@∨HHεπx⊃@↓k`⊂( α!@∨`λhπp A(Hεπx4`α 0⊂( α!@∨`⊃Pλr`A(Hεπxi`α-⊂( α!@∨`# u A(Hεπx↓S@αMP⊂( α!@∨`F@
w`A(Hε@∧¬@αn βx α!`←@ H`!λHπ@πx⊃@αz8⊂( α!p∨`λh +A(Hπ@πx4`β≠λ⊂( α!p∨`⊃P
-@A(Hπ@πxi`β;X⊂( α!p∨`# ∞0A(Hπ@πx↓S@β\(⊂( α!p∨`F@∂2@A(HλGxβ|xλ⊂ α"⊂←@⊂∀ ↓hH ¬πh∧¬@¬` α"0∨`∧0⊂-A(H @πx# ∧≠H⊂( α"0∨`
_⊃/@A(H @πxF@∧<_⊂( α"0∨`~8∩2A(H @πx↓
∧\h⊂( α"0∨`4p∪4@A(H @πxα~∧⎇8⊂( α"@∩≥ ∀7⊗λH
@λ∨x∧i π#__ α"P ␈c9≥l``hH πxF@εk⊂λ0 α"`∨`# ≠N!HH πxα~ ε{pλ0 α"p∨`⊗∀M!HH ∧πp¬≠Pε( α#⊂⊂←@~8∃π`↓hH
↔x¬"0λ( α# λ←`∃*`!(H
@↔x¬3λ( α# _←`∃m !(H
@gp¬CPπx α#@∨`∧0⊗. A(H∞πx# ¬[p⊂( α#@∨`
_↔0`A(H∞πxF@¬|@⊂( α#@∨`~8_3 A(H∞πx↓
ε≥⊂⊂( α#@∨`4p→5`A(H∞πxα~ε=`⊂( /(@⊂@⊂@⊂↓X (H↓" 6λαE 2p↓X 2pα26λ↓KP↓" &_@⊂αE L@↓K@Q(αE &_α2&_α2(H@⊂@↓2(␈g ~hcλ1P1PJ@∞@B0@⊂@⊂@⊂H[⊂B 0J@∨B ∩Pc _h[⊂JP[∨@
(! 0J@∩P[⊗`!
() ∩PB λ B λ B 01@ 01@∞@1@ 01@ 01@λ ! 0B 0:~pJ@∞@J@∩P1@ 0J@⊂H_`λ B 0[⊂HR`∞@R`∞@1@⊂HB ∩Pk@∞@J@⊂H) ⊂H!⊂HRp: 01@∞@1@
(1@∞@!
(:ε_c ⊂H1@∞@:
(1@
(B ∞@[ 0: 0)
() ∩P␈g ≡Hcλ1P1PJ@∞@B0@⊂@⊂@⊂H[⊂B 0J@∨B ∩Pc _h[⊂JP[∨@
(! 0J@∩P[⊗`!
() ∩PB λ B λ B 01@ 01@∞@1@ 01@ 01@λ ! 0B 0:~pJ@∞@J@∩P1@ 0J@⊂H_`λ B 0[⊂HR`∞@R`∞@1@⊂HB ∩Pk@∞@J@⊂H) ⊂H!⊂HRp: 01@∞@1@
(1@∞@!
(:ε_c ⊂H1@∞@:
(1@
(B ∞@[ 0: 0)
() ∩P␈g ≤λcλ1P1PJ@∞@B0@⊂@⊂@⊂H[⊂B 0J@∨B ∩Pc _h[⊂JP[∨@
(! 0J@∩P[⊗`!
() ∩PB λ B λ B 01@ 01@∞@1@ 01@ 01@λ ! 0B 0:~pJ@∞@J@∩P1@ 0J@⊂H_`λ B 0[⊂HR`∞@R`∞@1@⊂HB ∩Pk@∞@J@⊂H) ⊂H!⊂HRp: 01@∞@1@
(1@∞@!
(:ε_c ⊂H1@∞@:
(1@
(B ∞@[ 0: 0)
() ∩P␈g ∨cλ1P1PJ@∞@B0@⊂@⊂@⊂H[⊂B 0J@∨B ∩Pc _h[⊂JP[∨@
(! 0J@∩P[⊗`!
() ∩PB λ B λ B 01@ 01@∞@1@ 01@ 01@λ ! 0B 0:~pJ@∞@J@∩P1@ 0J@⊂H_`λ B 0[⊂HR`∞@R`∞@1@⊂HB ∩Pk@∞@J@⊂H) ⊂H!⊂HRp: 01@∞@1@
(1@∞@!
(:ε_c ⊂H1@∞@:
(1@
(B ∞@[ 0: 0)
() ∩P␈g ∨sh:⊂1PJ@⊂HJP@⊂@⊂@⊂H[⊂J@∞@R`∨J@∩Pc ≤x[⊂JPc ∨@ 0_` 0B ∩Pc _h! 01@∩PJ@λ J@λ B ⊂HB ⊂HB ⊂HB ⊂HB ⊂HB λ !∞@B ∞@J@~pJ@⊂H[⊗`:∞@[∩P_` 0J@∞@k@∩P[∞@[⊂H:∩PJ@∩P|∩PJ@∩P1@⊂H1@⊂H[⊂B ∞@:⊂H:λ :⊂H) λ B
(s`∩P:⊂HB 0: 0J@∞@[∩PB ∞@)
() ∩P␈g ∨sh:⊂1PJ@⊂HJP@⊂@⊂@⊂H[⊂J@∞@R`∨J@∩Pc ≤x[⊂JPc ∨@ 0_` 0B ∩Pc _h! 01@∩PJ@λ J@λ B ⊂HB ⊂HB ⊂HB ⊂HB ⊂HB λ !∞@B ∞@J@~pJ@⊂H[⊗`:∞@[∩P_` 0J@∞@k@∩P[∞@[⊂H:∩PJ@∩P|∩PJ@∩P1@⊂H1@⊂H[⊂B ∞@:⊂H:λ :⊂H) λ B
(s`∩P:⊂HB 0: 0J@∞@[∩PB ∞@)
() ∩P␈g ≤xsh:⊂1PJ@⊂HJP@⊂@⊂@⊂H[⊂J@∞@R`∨J@∩Pc ≤x[⊂JPc ∨@ 0_` 0B ∩Pc _h! 01@∩PJ@λ J@λ B ⊂HB ⊂HB ⊂HB ⊂HB ⊂HB λ !∞@B ∞@J@~pJ@⊂H[⊗`:∞@[∩P_` 0J@∞@k@∩P[∞@[⊂H:∩PJ@∩P|∩PJ@∩P1@⊂H1@⊂H[⊂B ∞@:⊂H:λ :⊂H) λ B
(s`∩P:⊂HB 0: 0J@∞@[∩PB ∞@)
() ∩P␈g ∨sh:⊂1PJ@⊂HJP@⊂@⊂@⊂H[⊂J@∞@R`∨J@∩Pc ≤x[⊂JPc ∨@ 0_` 0B ∩Pc _h! 01@∩PJ@λ J@λ B ⊂HB ⊂HB ⊂HB ⊂HB ⊂HB λ !∞@B ∞@J@~pJ@⊂H[⊗`:∞@[∩P_` 0J@∞@k@∩P[∞@[⊂H:∩PJ@∩P|∩PJ@∩P1@⊂H1@⊂H[⊂B ∞@:⊂H:λ :⊂H) λ B
(s`∩P:⊂HB 0: 0J@∞@[∩PB ∞@)
() ∩P∨|P␈4@*(↓␈<3X↓↔␈y←sP/`4p⊂@⊂@⊂@⊂@⊂@⊂@↓P@
5
5
5
5
5⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂5
5
5
5
5
5
5
5
5
5
5
5
5
ε@β(~@
i`4x@⊂ε@β(~@
i`4x@⊂ε@β(~@
i`4x@⊂@⊂@⊂@⊂⊂@⊂@⊂@⊂ε@↓Pε@↓Pε@↓Pε@↓Pε@↓Pε@↓Pε@↓Pε@↓Pε@β(~@
i`4x@⊂@⊂@⊂@⊂@⊂@∨|0␈B )x↓tj`⊂⊂@⊂@⊂@⊂↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& @& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→␈q←pH↓'`=_9↑@⊂@⊂@⊂@& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→⊂↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ∨|0␈B )x↓tn7@⊂@⊂@⊂@⊂↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& @& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→␈q←pH↓'`=_9↑@⊂@⊂@⊂@& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→⊂↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ↓→& ∨␈`␈x>(ααλ(P0@ ⊂0@ ⊂@ ⊂0@ ⊂@⊂@∞_@
⊂ @
⊂(@
⊂0@
⊂(@
⊂(P@⊂_@∀ @ ⊂↓J@2P↓k:`@`⊂_↓R`4XQ⊂@⊂@⊂@*H↔ λh⊗@ ⊂@⊂↓"@'0↓"@(P@⊂@⊂@⊂↓ `"8↓* *H8`∞_↓ `"80@@h@`$8Q∀ @*HI∩ @⊂@⊂@⊂↓&`)X@⊂@ ⊂β
_
~ β `εPεH~8~@~ p`εPεH4x~@~ ⊂@`εPεHO8~@~ ↔⊂`εP∨␈␈4>(α∪∞∃x↓@≥ ↓ @0↓@%⊂F ⊃H@⊂↓P@0↓z0↓S4`↓z#⊂↓ @∨ ↓@>@↓ P@∨ ↓@0↓@∂PF #⊂α→ #⊂↓S*xF ∃@V#⊂↓z⊃HV⊃H↓ @#⊂↓ @#⊂↓ @#⊂↓ @#⊂↓ @#⊂↓ @⊃HF ∨ ↓z∨ uF(↓,+↓3@,p↓$%⊂↓C@,pF@! ↓,%⊂↓S,p↓C@)↓C@,p↓$'⊂↓3@)↓j@)↓,)V$HV∨ ↓;@⊃H↓ @%⊂↓ @%⊂↓ @∪@↓∀@%⊂>@∂P↓∧`∂P↓S%⊂↓∀@%⊂↓∀@↔8⎇∪@↓∀@∨ ↓;@!⊂⎇∨ ⎇∂P⎇.p@␈`␈m(↓⎇`>x8↑ 0u#⊂↓@0↓∀@⊃CP@0@⊂↓@>@↓@4`↓S>@↓ @#⊂⎇0↓z#⊂@⊂⎇0↓@0>@⊃P↓ @F0↓ @4`↓,⊃V∃@↓ @>@F@∃@F@#⊂↓ @#⊂↓ @#⊂↓ @#⊂↓ @#⊂↓ @#⊂F@⊃P⎇>@⎇≥ α→@)↓,,p↓3@'⊂↓ @0p↓3@⊃P↓¬+↓∀@4`↓3@0p↓≤@0p↓,)↓∀@,p↓≤@8P↓$)↓$∃@↓ @∃@⎇.pD#⊂↓∀@#⊂↓∀@#⊂N%⊂↓∀@∂P>@! >@6`↓∀@%⊂↓∀@%⊂↑∨ N%⊂⎇.p↓¬∨ ⎇∨ >@∨ ↓⊂⊂␈3`>(ααl≤↓`! ↓≤ 8↓`.pV∃@@⊂↓p@8↓z8α↓`@8↓z*x↓+`∨ ↓`>@↓+p@∨ ↓`8↓`∂PV*xα→ *xα↓`.pV∃@V*x↓z∃@e@∃@↓+`*x↓+`*x↓+`*x↓+`*x↓+`*x↓+`∃@V∨ ↓z∨ ↓¬F(↓C .p↓C 0h↓~)↓C .pV'λ↓K'λ↓b@.p↓K,x↓K.p↓3`)↓C ,xα↓`0h↓;@*xm *xm ∨ ↓;@∃@↓≤ ,h↓≤ )↓≤ →0↓≤ )N↔8↓≤ ∪@↓j )↓≤ )↓$≥(↓∀@→0↓$%⊂↓b@%⊂↓≤ #⊂⎇∂P⎇>@@␈n∨j@α`?1N`0↓∀@'λ↓@0↓< ∃@V⊂@0@⊂↓@>@↓@@`αβ>@↓-+ ⎇0↓z+λ@⊂⎇0↓@0>@∃@↓, F(↓, @8↓;@∃@V∃@↓, >@V→0V+λ↓, +λ↓, +λ↓, +λ↓, +λ↓, +λV∃@⎇>@⎇%⊂α→ .p↓;@0h↓C +λ↓≤ 4`↓;@∃@↓≤ 2p↓≤ 8P↓;@2p↓, 2p↓3`,x↓$0h↓, @8↓C ,x↓C ≠8↓
≠8⎇.pV'λ↓$'λ↓$'λe@'λ↓$∪P]`'λN@<H↓$'λ↓$)u %⊂e@)↓∀@8P↓∀@'λ↓
∨ >@∨ ↓z⊂␈C@OHαλλ↓g`~@@⊂@⊂@⊂↓-`>@@O`α?>@↓U5 ⎇pα?5 @⊂⎇p@⊂↓K~@↓KH8↓U4 ↓g`~@j~@↓7@5 j∃Pj2`↓U5 ↓U5 ↓U5 ↓U5 ↓U5 j~@↓-`+8↓-`-p↓H`<0↓g`<0↓q@7@↓K<0↓g`~@↓A >h↓A F⊂↓g`>h↓↑>h↓g`7@↓K<0↓↑O`↓q@9x↓U"_↓K!p↓⊃ 5 @0(↓K0(↓K0(⎇`0(↓K_λt0(` H8↓K0(↓K2`↓⊃ -p⎇`2`↓7@F⊂↓7@0(↓-`&Hj&H↓⊃ ␈␈␈oλ↓y D`7→`∂P@⊂@⊂@⊂@>@@⊂@>@@⊂⎇⊂↓z∨ @⊂@⊂@⊂>@∃@⎇>@⎇.p↓C ∂PV∃@⎇>@>@∃@>∨ ⎇∨ ⎇∨ ⎇∨ ⎇∨ ⎇∨ V∃@⎇>@⎇→0↓z2↓+/_↓3`+@↓C`)H↓]~h@2⊂↓H6h↓D 28↓\28↓%/↓∨ 'h@,h↓S`4@↓≡@⊃H⎇⊃H⎇.p@*`↓.@%⊂↓→ H↓= %8↓≠`⊗⊂v%⊂↓('P↓
%8↓8'x↓~)X↓ #X@/(↓- -X↓~@∨ >@∨ ↓;@␈}←y≥`πh→≡@↓`h¬↓Pλ α@ @β(∂∧⊂∩ ∧x∃@¬h_`εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓`h¬↓Pλ α@ @β(
β(
β(
β(
β(
β(
β(
β(
β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@↓`h¬↓Pε@↓Pε@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈q?{x␈n∨{⊂␈j␈z ␈g←y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8@⊂@⊂@⊂@⊂@⊂@⊂@⊂@β(
β(
β(
β(
β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈s∨|`␈s∨|`␈s∨|`␈s∨|`@⊂@⊂@⊂@↓Pε@↓Pε@↓P¬h↓␈␈_␈dλ ∨&'P8β ↓ ε@αλ
αp
β`⊂@∧H∪`¬0↔ ε_~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂8β ↓ ε@αλ
αp
β(
β(
β(
β(
β(
β(
β(
β(
αp
αλε@↓ β 8⊂@⊂@⊂@⊂8β ↓ ε@↓Pε@↓P~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|(␈o␈{@␈l←zX␈i∨yp␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈ep@⊂@⊂@⊂@⊂@⊂@⊂@⊂
β(
β(
β(
β(
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|`␈s∨|`␈s∨|`␈s∨|`␈s⊂@⊂@⊂@⊂ε@↓Pε@↓Pε@↓ β 8␈{?y$ πh→≡@↓`h¬↓Pλ α@ @β(∂∧⊂∩ ∧x∃@¬h_`εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓`h¬↓Pλ α@ @β(
β(
β(
β(
β(
β(
β(
β(
β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@↓`h¬↓Pε@↓Pε@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈q?{x␈n∨{⊂␈j␈z ␈g←y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8@⊂@⊂@⊂@⊂@⊂@⊂@⊂@β(
β(
β(
β(
β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈s∨|`␈s∨|`␈s∨|`␈s∨|`@⊂@⊂@⊂@↓Pε@↓Pε@↓P¬h↓␈}0␈d p∨&'P8β ↓ ε@αλ
αp
β`⊂@∧H∪`¬0↔ ε_~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂8β ↓ ε@αλ
αp
β(
β(
β(
β(
β(
β(
β(
β(
αp
αλε@↓ β 8⊂@⊂@⊂@⊂8β ↓ ε@↓Pε@↓P~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|(␈o␈{@␈l←zX␈i∨yp␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈ep@⊂@⊂@⊂@⊂@⊂@⊂@⊂
β(
β(
β(
β(
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|`␈s∨|`␈s∨|`␈s∨|`␈s⊂@⊂@⊂@⊂ε@↓Pε@↓Pε@↓ β 8␈v?y. πh→≡@↓`h¬↓Pλ α@ @β(∂∧⊂∩ ∧x∃@¬h_`εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓`h¬↓Pλ α@ @β(
β(
β(
β(
β(
β(
β(
β(
β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@↓`h¬↓Pε@↓Pε@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈q?{x␈n∨{⊂␈j␈z ␈g←y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8@⊂@⊂@⊂@⊂@⊂@⊂@⊂@β(
β(
β(
β(
β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈s∨|`␈s∨|`␈s∨|`␈s∨|`@⊂@⊂@⊂@↓Pε@↓Pε@↓P¬h↓␈|`␈d
_∨&'P8β ↓ ε@αλ
αp
β`⊂@∧H∪`¬0↔ ε_~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂8β ↓ ε@αλ
αp
β(
β(
β(
β(
β(
β(
β(
β(
αp
αλε@↓ β 8⊂@⊂@⊂@⊂8β ↓ ε@↓Pε@↓P~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|(␈o␈{@␈l←zX␈i∨yp␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈ep@⊂@⊂@⊂@⊂@⊂@⊂@⊂
β(
β(
β(
β(
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|`␈s∨|`␈s∨|`␈s∨|`␈s⊂@⊂@⊂@⊂ε@↓Pε@↓Pε@↓ β 8␈l?yBπh→≡@↓`h¬↓Pλ α@ @β(∂∧⊂∩ ∧x∃@¬h_`εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓`h¬↓Pλ α@ @β(
β(
β(
β(
β(
β(
β(
β(
β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@↓`h¬↓Pε@↓Pε@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈q?{x␈n∨{⊂␈j␈z ␈g←y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8@⊂@⊂@⊂@⊂@⊂@⊂@⊂@β(
β(
β(
β(
β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈s∨|`␈s∨|`␈s∨|`␈s∨|`@⊂@⊂@⊂@↓Pε@↓Pε@↓P¬h↓␈y8␈d∪h∨&'P8β ↓ ε@αλ
αp
β`⊂@∧H∪`¬0↔ ε_~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂8β ↓ ε@αλ
αp
β(
β(
β(
β(
β(
β(
β(
β(
αp
αλε@↓ β 8⊂@⊂@⊂@⊂8β ↓ ε@↓Pε@↓P~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|(␈o␈{@␈l←zX␈i∨yp␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈ep@⊂@⊂@⊂@⊂@⊂@⊂@⊂
β(
β(
β(
β(
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|`␈s∨|`␈s∨|`␈s∨|`␈s⊂@⊂@⊂@⊂ε@↓Pε@↓Pε@↓ β 8␈|␈␈_↓"-01N` X@⊂@⊂@⊂@⊂@⊂@⊂@⊂⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂⊂@⊂@⊂↓αp@⊂@⊂@⊂@(λ↓&⊂@"8↓_`$P@⊂@&(␈%`Dxα↓h↓← >@↓zε ↓$@*λ↓(0@⊂↓2P@⊂⎇⊂@⊂↓Up@Bh@⊂@⊂@⊂@⊂@@ ↓+@!α")λ↓↑@=@↓↑@∂Pα≤@∪P↓↑@-↓↑@Bh↓⎇ ?(↓l`D_↓y ?(↓⎇ ?(↓O@@ q 'p↓
@>⊂↓U=(↓∩ Ah↓B -↓[ 68↓"`*p↓l`;_↓l`:x↓k`:x↓∩ -↓V@;Hα",Pα≥@=@↓i@<`↓l`;_↓"`#_↓∞ '@↓∂'(α≥P↓JN ↓z`'Xα≥@O_αD4X↓≡'@↓≡'@{@?λ↓∧E0α∃@>X↓l`;_↓l`;_↓T 5λ↓i@E0↓X 78↓X H@∨␈P␈dπ8∨&'P8β ↓ ε@αλ
αp
β`⊂@∧H∪`¬0↔ ε_~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂8β ↓ ε@αλ
αp
β(
β(
β(
β(
β(
β(
β(
β(
αp
αλε@↓ β 8⊂@⊂@⊂@⊂8β ↓ ε@↓Pε@↓P~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|(␈o␈{@␈l←zX␈i∨yp␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈ep@⊂@⊂@⊂@⊂@⊂@⊂@⊂
β(
β(
β(
β(
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|`␈s∨|`␈s∨|`␈s∨|`␈s⊂@⊂@⊂@⊂ε@↓Pε@↓Pε@↓ β 8␈|␈xH!λP→≡@↓`h¬↓Pλ α@ @β(∂∧⊂∩ ∧x∃@¬h_`εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓`h¬↓Pλ α@ @β(
β(
β(
β(
β(
β(
β(
β(
β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@↓`h¬↓Pε@↓Pε@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈q?{x␈n∨{⊂␈j␈z ␈g←y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8@⊂@⊂@⊂@⊂@⊂@⊂@⊂@β(
β(
β(
β(
β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈s∨|`␈s∨|`␈s∨|`␈s∨|`@⊂@⊂@⊂@↓Pε@↓Pε@↓P¬h↓␈}h␈`` λ&ε'P8β ↓ ε@αλ
αp
β`⊂@∧H∪`¬0↔ ε_~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂8β ↓ ε@αλ
αp
β(
β(
β(
β(
β(
β(
β(
β(
αp
αλε@↓ β 8⊂@⊂@⊂@⊂8β ↓ ε@↓Pε@↓P~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|(␈o␈{@␈l←zX␈i∨yp␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈ep@⊂@⊂@⊂@⊂@⊂@⊂@⊂
β(
β(
β(
β(
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|`␈s∨|`␈s∨|`␈s∨|`␈s⊂@⊂@⊂@⊂ε@↓Pε@↓Pε@↓ β 8␈y←w`'@
(→≡@↓`h¬↓Pλ α@ @β(∂∧⊂∩ ∧x∃@¬h_`εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓`h¬↓Pλ α@ @β(
β(
β(
β(
β(
β(
β(
β(
β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@↓`h¬↓Pε@↓Pε@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈q?{x␈n∨{⊂␈j␈z ␈g←y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8@⊂@⊂@⊂@⊂@⊂@⊂@⊂@β(
β(
β(
β(
β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈s∨|`␈s∨|`␈s∨|`␈s∨|`@⊂@⊂@⊂@↓Pε@↓Pε@↓P¬h↓␈⎇H␈[` H/f'P8β ↓ ε@αλ
αp
β`⊂@∧H∪`¬0↔ ε_~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂8β ↓ ε@αλ
αp
β(
β(
β(
β(
β(
β(
β(
β(
αp
αλε@↓ β 8⊂@⊂@⊂@⊂8β ↓ ε@↓Pε@↓P~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|(␈o␈{@␈l←zX␈i∨yp␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈ep@⊂@⊂@⊂@⊂@⊂@⊂@⊂
β(
β(
β(
β(
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|`␈s∨|`␈s∨|`␈s∨|`␈s⊂@⊂@⊂@⊂ε@↓Pε@↓Pε@↓ β 8␈s∨v⊂4`
P→≡@↓`h¬↓Pλ α@ @β(∂∧⊂∩ ∧x∃@¬h_`εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓`h¬↓Pλ α@ @β(
β(
β(
β(
β(
β(
β(
β(
β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@↓`h¬↓Pε@↓Pε@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈q?{x␈n∨{⊂␈j␈z ␈g←y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8@⊂@⊂@⊂@⊂@⊂@⊂@⊂@β(
β(
β(
β(
β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈s∨|`␈s∨|`␈s∨|`␈s∨|`@⊂@⊂@⊂@↓Pε@↓Pε@↓P¬h↓␈{λ␈Q`⊂@Cf'P8β ↓ ε@αλ
αp
β`⊂@∧H∪`¬0↔ ε_~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂8β ↓ ε@αλ
αp
β(
β(
β(
β(
β(
β(
β(
β(
αp
αλε@↓ β 8⊂@⊂@⊂@⊂8β ↓ ε@↓Pε@↓P~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|(␈o␈{@␈l←zX␈i∨yp␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈ep@⊂@⊂@⊂@⊂@⊂@⊂@⊂
β(
β(
β(
β(
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|`␈s∨|`␈s∨|`␈s∨|`␈s⊂@⊂@⊂@⊂ε@↓Pε@↓Pε@↓ β 8␈e␈rhO ∀ →≡@↓`h¬↓Pλ α@ @β(∂∧⊂∩ ∧x∃@¬h_`εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓`h¬↓Pλ α@ @β(
β(
β(
β(
β(
β(
β(
β(
β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@↓`h¬↓Pε@↓Pε@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈q?{x␈n∨{⊂␈j␈z ␈g←y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8@⊂@⊂@⊂@⊂@⊂@⊂@⊂@β(
β(
β(
β(
β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈s∨|`␈s∨|`␈s∨|`␈s∨|`@⊂@⊂@⊂@↓Pε@↓Pε@↓P¬h↓␈yP␈L@>8↓yhα⊂@∂P@⊂@⊂@⊂@>@@⊂@>@@⊂⎇⊂↓;@∨ @⊂⎇⊂@⊂>@∂P⎇>@⎇∨ ↓H ∂P]`↔8⎇.p>@∨ E@∨ ⎇∨ ⎇∨ ⎇∨ ⎇∨ ⎇∨ >@∂P⎇.p⎇∩@↓z+_↓N`(X↓C`+@↓'`0P↓J` λ↓∃ -x↓∀@;(↓X 2p↓B@4x↓<`1p↓A 3@↓'`;P↓⊂`.0↓π`≡P⎇≡P⎇/_>@_0g ∪8h⊗P:`≠Hj@
05@~x3* m_Xm`~8V`~⊂? ≠`i &`n ~⊂K ∨ = ∨ ↓;P∨|0␈B )x↓tx`↓→∨wH↓U`@P β↔_\p@⊂@⊂@⊂@⊂@⊂@@⊂@⊂@!8@!8@⊂,⊂↓(0@@⊂↓k⊂@5p↓Up@7h@G⊂↓(0↓k5p@⊂@⊂pPpP@⊂@⊂@⊂@@⊂@⊂@⊂@⊂@⊂@⊂@⊂@@⊂@⊂↓↓∩ ↓↓␈}←y≥`πh→≡@↓`h¬↓Pλ α@ @β(∂∧⊂∩ ∧x∃@¬h_`εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓`h¬↓Pλ α@ @β(
β(
β(
β(
β(
β(
β(
β(
β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@↓`h¬↓Pε@↓Pε@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈q?{x␈n∨{⊂␈j␈z ␈g←y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8@⊂@⊂@⊂@⊂@⊂@⊂@⊂@β(
β(
β(
β(
β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈s∨|`␈s∨|`␈s∨|`␈s∨|`@⊂@⊂@⊂@↓Pε@↓Pε@↓P¬h↓␈␈_␈b λ "F'P8β ↓ ε@αλ
αp
β`⊂@∧H∪`¬0↔ ε_~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂8β ↓ ε@αλ
αp
β(
β(
β(
β(
β(
β(
β(
β(
αp
αλε@↓ β 8⊂@⊂@⊂@⊂8β ↓ ε@↓Pε@↓P~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|(␈o␈{@␈l←zX␈i∨yp␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈ep@⊂@⊂@⊂@⊂@⊂@⊂@⊂
β(
β(
β(
β(
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|`␈s∨|`␈s∨|`␈s∨|`␈s⊂@⊂@⊂@⊂ε@↓Pε@↓Pε@↓ β 8␈{?x_$ @→≡@↓`h¬↓Pλ α@ @β(∂∧⊂∩ ∧x∃@¬h_`εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓`h¬↓Pλ α@ @β(
β(
β(
β(
β(
β(
β(
β(
β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@↓`h¬↓Pε@↓Pε@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈q?{x␈n∨{⊂␈j␈z ␈g←y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8@⊂@⊂@⊂@⊂@⊂@⊂@⊂@β(
β(
β(
β(
β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈s∨|`␈s∨|`␈s∨|`␈s∨|`@⊂@⊂@⊂@↓Pε@↓Pε@↓P¬h↓␈}0␈← p)&'P8β ↓ ε@αλ
αp
β`⊂@∧H∪`¬0↔ ε_~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂8β ↓ ε@αλ
αp
β(
β(
β(
β(
β(
β(
β(
β(
αp
αλε@↓ β 8⊂@⊂@⊂@⊂8β ↓ ε@↓Pε@↓P~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|(␈o␈{@␈l←zX␈i∨yp␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈ep@⊂@⊂@⊂@⊂@⊂@⊂@⊂
β(
β(
β(
β(
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|`␈s∨|`␈s∨|`␈s∨|`␈s⊂@⊂@⊂@⊂ε@↓Pε@↓Pε@↓ β 8␈v?vx. x→≡@↓`h¬↓Pλ α@ @β(∂∧⊂∩ ∧x∃@¬h_`εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓`h¬↓Pλ α@ @β(
β(
β(
β(
β(
β(
β(
β(
β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@↓`h¬↓Pε@↓Pε@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈q?{x␈n∨{⊂␈j␈z ␈g←y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8@⊂@⊂@⊂@⊂@⊂@⊂@⊂@β(
β(
β(
β(
β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈s∨|`␈s∨|`␈s∨|`␈s∨|`@⊂@⊂@⊂@↓Pε@↓Pε@↓P¬h↓␈|`␈X@
_6F'P8β ↓ ε@αλ
αp
β`⊂@∧H∪`¬0↔ ε_~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂8β ↓ ε@αλ
αp
β(
β(
β(
β(
β(
β(
β(
β(
αp
αλε@↓ β 8⊂@⊂@⊂@⊂8β ↓ ε@↓Pε@↓P~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|(␈o␈{@␈l←zX␈i∨yp␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈ep@⊂@⊂@⊂@⊂@⊂@⊂@⊂
β(
β(
β(
β(
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|`␈s∨|`␈s∨|`␈s∨|`␈s⊂@⊂@⊂@⊂ε@↓Pε@↓Pε@↓ β 8␈l?t8B⊂x→≡@↓`h¬↓Pλ α@ @β(∂∧⊂∩ ∧x∃@¬h_`εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓`h¬↓Pλ α@ @β(
β(
β(
β(
β(
β(
β(
β(
β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@↓`h¬↓Pε@↓Pε@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈q?{x␈n∨{⊂␈j␈z ␈g←y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8@⊂@⊂@⊂@⊂@⊂@⊂@⊂@β(
β(
β(
β(
β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈s∨|`␈s∨|`␈s∨|`␈s∨|`@⊂@⊂@⊂@↓Pε@↓Pε@↓P¬h↓␈y8␈K ∪hQε'P8β ↓ ε@αλ
αp
β`⊂@∧H∪`¬0↔ ε_~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂8β ↓ ε@αλ
αp
β(
β(
β(
β(
β(
β(
β(
β(
αp
αλε@↓ β 8⊂@⊂@⊂@⊂8β ↓ ε@↓Pε@↓P~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|(␈o␈{@␈l←zX␈i∨yp␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈ep@⊂@⊂@⊂@⊂@⊂@⊂@⊂
β(
β(
β(
β(
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|`␈s∨|`␈s∨|`␈s∨|`␈s⊂@⊂@⊂@⊂ε@↓Pε@↓Pε@↓ β 8⊂←wH↓> @P7→`58@⊂@⊂↓←0@⊂@*λ@⊂@⊂↓(0@⊂@:`@⊂@⊂↓k⊂@⊂@⊂\p@⊂@↔_@⊂@⊂pP@⊂@≤⊂@⊂@⊂↓↓⊂@⊂@ @⊂@⊂↓¬p@⊂@!8@⊂@⊂I⊂@⊂@⊂⊂@⊂α≤@∨z f@_0 _ ≠_ 0@ ⊂0@_ a_ a_ a_ a ⊂0@_ a_ a_ a_ a_ a_ a_ a_ a_ a ⊂0@_ a_ a_ a ⊂0@_ 0@ ⊂aελa∩pK@ ⊂0@⊂_a
@6 ⊂; ⊃@F_ 0@K@⊃@6∞h6∞h; ∃H+
⊂N ⊂_q ⊂h@` ⊂F∀_+ ⊂V
`@`∩pK@∩pF⊃@F⊃@F_ a 8%` 8%` ⊂0@λλ ε`0@
`+∃HV _ 0@∀_0@⊃@F_ @
`+
`; ∩pa⊂_6␈␈␈␈λ↓5- 6C ↓x%∂PV p7 H>@∩8↓0`∞0↓.` `9@ `∂`,_%⊗⊂V p7 !_↓α ∞0I`∧∂`πh↓.`πh∨ ⊗⊂∪∂P∂`
01 ¬0≠ ⊂P ⊂≡ ∧>@∂P7`∂P# 8,α8∪@∂`# ∞P⊗βxK`βx∧∂P∨0∪πhπ`
0∧¬0≠`⊂P ⊂≡ βx∨ πhπ`πh# λh,α8∪@πh# ↓⊗↓xK`πhπ`!_~8i}!(i`␈n␈r(↓y D` 8f≠(↓`8↓≤ ∂PV⊂@8@⊂↓`>@↓`4`↓S>@↓
# ⎇8↓z∨ @⊂⎇8↓`8>@∃@⎇>@⎇.p↓C ∂PV∃@⎇>@>@∃@>∨ ⎇∨ ⎇∨ ⎇∨ ⎇∨ ⎇∨ V∃@⎇>@⎇→0↓z.h↓$,x↓K@)↓$4`↓L↔8m`3⊂↓$<H↓N0h↓∀@0h↓;`# ↓$2h↓3`>@↓;`.h↓$⊃H⎇⊃H⎇.p>@≥(↓
≠8↓
≥(V∨ ↓
⊃HF !_F 4`↓ `!_↓
# ]`↔8N@# ⎇,x⎇∨ m ∨ >@∨ ↓;P∨w⊂␈;`?hα∪
} ↓`→@m`8↓`%p>@∃@@⊂↓p@8↓z8↓@ 0λ↓z ⊂↓@∨ ↓`>@⎇⊂@∨ ↓`8↓`∂Pm`∨ ↓z∨ ↓Y@,x>@∃@V∨ ↓z∂PV∂P⎇∨ ⎇∨ ⎇∨ ⎇∨ ⎇∨ ⎇∃@V∨ ↓z∨ e@>@↓3`+λ↓3`0h↓, 'λ↓3`4`m`≠8↓;@+λ↓q 0h↓C )↓C ,x↓≤ )↓C ,x↓z,x↓3`,xN_@N&⊂↓%∂P⎇∨ m`∨ m`∪P⎇!8F ⊃H↓
⊃H↓E!`⎇∨ ⎇↔8]`∪p↓¬`≠8↓$# u ≠8⎇∂P⎇, @␈t←l8↓y @07y8m`≥(↓`8↓∀@∂PNP@8@⊂↓`>@↓`4`↓S>@↓ @#⊂⎇8↓z∨ @⊂⎇8↓`8>@∪P⎇>@↓ .p↓;`∂PW ∃h⎇>@>@∪P>@∨ ⎇∨ ⎇∨ ⎇∨ ⎇∨ ⎇∨ N@∪P↓∞`>@↓∞`≠8↓z+λ↓, +λ↓C )↓≤ 0h↓S↔8↓∧`-⊂↓$>@↓C 3↓$2p↓3`'λ↓,`0h↓, >@↓3`+λ↓,@∪@⎇∪@↓β .@>@∨ ⎇≥(⎇≥(N∨ ↓∧`⊃HF !_F 0h↓∧@!_⎇∨ ]`→0V!_m@)↓∧@≥(m@∨ >@∨ ↓:0∨xx␈1`DHα⊂n∃x↓`≠8u 8↓`%⊂>@∪P@⊂↓p@8↓z8↓S4`↓z# ↓
∨ ↓`>@⎇⊂@∨ ↓`8↓`∂Pe@∨ ↓z∨ ↓;@.p>@∃@V∨ ↓z∂PV∂P⎇∨ ⎇∨ ⎇∨ ⎇∨ ⎇∨ ⎇∪PN@∨ ↓z∨ m`>@↓, +λ↓3`0h↓, 'λ↓;@4`l!_↓;@)↓z0h↓C )↓C ,x↓≤ )↓C *p↓z,x↓, ,xN∨ N∨ ⎇∂P⎇∨ u ∨ u ∪P⎇!(F ⊃H↓
⊃H↓C !_⎇∨ ⎇↔8e@∃@↓∧`≠8↓$# u ≠8⎇∂P⎇>@@␈h?ppα> Bp :⊂m⊂@⊂@⊂@+8↓zpα.@LP↓z2(↓K ∨8@_↓!⊂@∨8@⊂@2Pg 1_↓u@/p↓Y8hm~(i -`↓T ≠ N`≠ ↓J@( ↓!( ↓!( ↓!( ↓!( ↓!≠ m+0↓-@+0↓≥`6`↓←@7_↓M`9h↓D,@↓c @P⎇ ,↓a ,xα%@>α↓ 5`α↓ ;λ↓?@2_↓e 6Xα2@6X↓Z`2_↓λ 2P↓π$_↓T0↓~(x↓ (H↓ !8↓≥`*λ↑`~(↓( ↔H↓u@*λ↓_@(x↓$ 8s@≤λ↓!`"p↓Y@)`↓≥ #λ↓~~8↓~$_∨␈P␈dπ8∨&'P8β ↓ ε@αλ
αp
β`⊂@∧H∪`¬0↔ ε_~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂8β ↓ ε@αλ
αp
β(
β(
β(
β(
β(
β(
β(
β(
αp
αλε@↓ β 8⊂@⊂@⊂@⊂8β ↓ ε@↓Pε@↓P~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|(␈o␈{@␈l←zX␈i∨yp␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈ep@⊂@⊂@⊂@⊂@⊂@⊂@⊂
β(
β(
β(
β(
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|`␈s∨|`␈s∨|`␈s∨|`␈s⊂@⊂@⊂@⊂ε@↓Pε@↓Pε@↓ β 8␈}←xH≥`λP→≡@↓`h¬↓Pλ α@ @β(∂∧⊂∩ ∧x∃@¬h_`εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓`h¬↓Pλ α@ @β(
β(
β(
β(
β(
β(
β(
β(
β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@↓`h¬↓Pε@↓Pε@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈q?{x␈n∨{⊂␈j␈z ␈g←y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8@⊂@⊂@⊂@⊂@⊂@⊂@⊂@β(
β(
β(
β(
β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈s∨|`␈s∨|`␈s∨|`␈s∨|`@⊂@⊂@⊂@↓Pε@↓Pε@↓P¬h↓␈␈P␈``π8&ε'P8β ↓ ε@αλ
αp
β`⊂@∧H∪`¬0↔ ε_~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂8β ↓ ε@αλ
αp
β(
β(
β(
β(
β(
β(
β(
β(
αp
αλε@↓ β 8⊂@⊂@⊂@⊂8β ↓ ε@↓Pε@↓P~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|(␈o␈{@␈l←zX␈i∨yp␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈ep@⊂@⊂@⊂@⊂@⊂@⊂@⊂
β(
β(
β(
β(
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|`␈s∨|`␈s∨|`␈s∨|`␈s⊂@⊂@⊂@⊂ε@↓Pε@↓Pε@↓ β 8␈}←w`≥`
(→≡@↓`h¬↓Pλ α@ @β(∂∧⊂∩ ∧x∃@¬h_`εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓`h¬↓Pλ α@ @β(
β(
β(
β(
β(
β(
β(
β(
β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@↓`h¬↓Pε@↓Pε@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈q?{x␈n∨{⊂␈j␈z ␈g←y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8@⊂@⊂@⊂@⊂@⊂@⊂@⊂@β(
β(
β(
β(
β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈s∨|`␈s∨|`␈s∨|`␈s∨|`@⊂@⊂@⊂@↓Pε@↓Pε@↓P¬h↓␈␈P␈[`π8/f'P8β ↓ ε@αλ
αp
β`⊂@∧H∪`¬0↔ ε_~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂8β ↓ ε@αλ
αp
β(
β(
β(
β(
β(
β(
β(
β(
αp
αλε@↓ β 8⊂@⊂@⊂@⊂8β ↓ ε@↓Pε@↓P~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|(␈o␈{@␈l←zX␈i∨yp␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈ep@⊂@⊂@⊂@⊂@⊂@⊂@⊂
β(
β(
β(
β(
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|`␈s∨|`␈s∨|`␈s∨|`␈s⊂@⊂@⊂@⊂ε@↓Pε@↓Pε@↓ β 8␈}←v⊂≥`
P→≡@↓`h¬↓Pλ α@ @β(∂∧⊂∩ ∧x∃@¬h_`εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓`h¬↓Pλ α@ @β(
β(
β(
β(
β(
β(
β(
β(
β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@↓`h¬↓Pε@↓Pε@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈q?{x␈n∨{⊂␈j␈z ␈g←y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8@⊂@⊂@⊂@⊂@⊂@⊂@⊂@β(
β(
β(
β(
β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈s∨|`␈s∨|`␈s∨|`␈s∨|`@⊂@⊂@⊂@↓Pε@↓Pε@↓P¬h↓␈␈P␈Q`π8Cf'P8β ↓ ε@αλ
αp
β`⊂@∧H∪`¬0↔ ε_~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂8β ↓ ε@αλ
αp
β(
β(
β(
β(
β(
β(
β(
β(
αp
αλε@↓ β 8⊂@⊂@⊂@⊂8β ↓ ε@↓Pε@↓P~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@ε_↔ ¬0∪`∧H⊂@β`
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|(␈o␈{@␈l←zX␈i∨yp␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈ep@⊂@⊂@⊂@⊂@⊂@⊂@⊂
β(
β(
β(
β(
αp
αλε@↓ β 8∨␈P␈⎇∨}h␈y␈}␈v?⎇_␈s∨|`␈s∨|`␈s∨|`␈s∨|`␈s⊂@⊂@⊂@⊂ε@↓Pε@↓Pε@↓ β 8␈}←rh≥`∀ →≡@↓`h¬↓Pλ α@ @β(∂∧⊂∩ ∧x∃@¬h_`εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓`h¬↓Pλ α@ @β(
β(
β(
β(
β(
β(
β(
β(
β( @α@λ ↓P¬h↓`@⊂@⊂@⊂@↓`h¬↓Pε@↓Pε@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP~@εP_`¬h∃@∧x∩ ∧⊂∂β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈q?{x␈n∨{⊂␈j␈z ␈g←y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8␈e␈y8@⊂@⊂@⊂@⊂@⊂@⊂@⊂@β(
β(
β(
β(
β( @α@λ ↓P¬h↓`␈}←␈ ␈{?}8␈x∨⎇H␈t␈|`␈s∨|`␈s∨|`␈s∨|`␈s∨|`@⊂@⊂@⊂@↓Pε@↓Pε@↓P¬h↓`␈p∨vH↓,8p`β%8∨␈P↓=P¬vH¬vp¬va2(¬va=X@⊂@↓2(@&_@⊂@⊂¬
!→¬
!→¬
!→¬
!→@⊂@,@@⊂@↓2(↓| /(↓= ?λα{ ;(↓| ;(αd`?λ↓m0↓= ,@@⊂α{ Y_↓m ↑hα{ ,@αd`,@αd`/(@⊂@⊂@⊂↓X (H↓" 6λαE 2p↓X 2pα26λ↓KP↓" &_@⊂αE L@↓K@Q(αE &_α2&_α2(H@⊂@↓2(∨x_⎇.a$x¬∃ ∧S0@⊂@⊂@⊂@⊂@⊂@⊂@⊂↓2P@⊂@⊂↓Sp@⊂@⊂@⊂@⊂↓D`@⊂@⊂@⊂@⊂@⊂@⊂@⊂@8@⊂@⊂@@⊂@⊂@⊂@⊂@~ β β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@β(~@4`εH εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5εP5i`
_
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`
i`␈v?+X¬∪a%(8v! `@⊂@⊂@⊂@⊂@⊂@⊂@⊂@,P@⊂@⊂@4x@⊂@⊂@⊂@⊂@1_∨{x⎇GA∂x∧`@↓vp@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@Y αt⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓ XβW0@⊂@⊂@⊂@⊂@⊂@⊂@*H@⊂@⊂@6H@⊂@⊂@⊂@⊂@1_@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@5(⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@@⊂@⊂@@⊂@⊂@⊂@⊂@@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@∨␈P␈s∨2(∧A↓↔XY(αt⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@↓ `βW0@⊂@⊂@⊂@⊂@⊂@⊂@*H@⊂@⊂@6H@⊂@⊂@⊂@⊂@1_@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@5(@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂⊂@⊂@⊂⊂@⊂@⊂@⊂@⊂⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂␈}←|`⎇I!⊂ ∧↑`αe ]@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂¬βuh@⊂@⊂@⊂@⊂@⊂@⊂@⊂↓*0@⊂@⊂↓Z0@⊂@⊂@⊂@⊂↓Dp@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂↓U ⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@@⊂@⊂@@⊂@⊂@⊂@⊂@@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@∨␈P